P colonies and kernel P systems

From P Colonies to 2D P Colonies and Simulations of Multiagent Systems

Model Checking Kernel P Systems

Recent research in membrane computing examines and confirms the anticipated modelling potential of kernel P systems in several case studies. On the one hand, this computational model is destined to be an abstract archetype which advocates the unity and integrity of P systems onto a single formalism. On the other hand, this envisaged convergence is conceived at the expense of a vast set of primi...

Kernel P Systems: Applications and Implementations

This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific language for describing kP systems and its translation into Promela, the specification language of Spin, are described. This Promela specification has been further used for simulation and property verification with the Spin model checker. Also, a parallel implementation on ...

Homogeneous P Colonies

We study P colonies introduced in [8] as a class of abstract computing devices composed of independent membrane agents, acting and evolving in a shared environment. In the present paper especially P colonies are considered, which are homogeneous with respect to the type of rules in each program of agents. The number of agents, as well as the number of programs in each agent are bounded, which a...

Eco-P Colonies

Eco-P colonies are constructed as natural extension of P colonies with dynamical evolution of environment. P colonies are one of the kind of computational models based on independent autonomous agents represented by membrane systems working and evolving in a shared environment. These acts are based on the set of program associated with every agent. There are two types of agents in eco-P colonie...